;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
; The interface for the module that contains the 
; generators for random data such as pixels and
; random bitmap images

(interface IDataGenerators
  
  ; Fills a bitmap of the given dimensions using the given
  ; random pixel data.
  (sig fill-bitmap (tr xcurr ycurr height width pixels))
  (sig fill-bitmap-with-pixel (tr xcurr ycurr height width pixel)))